/*						-*- coding: utf-8 -*-
 * toplevel.h	-- Toplevel de l'interprète
 * 
 *           Author: Erick Gallesio [eg@unice.fr]
 *    Creation date: 22-May-2010 18:14 (eg)
 * Last file update: 22-May-2010 18:16 (eg)
 */

#ifndef TOPLEVEL_H
#  define TOPLEVEL_H

void toplevel(FILE *f);
#endif
